√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

proof theory中文什么意思

發(fā)音:   用"proof theory"造句
  • 證蜜
  • 證明論
  • proof:    n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書(shū)面 ...
  • theory:    n. 1.理論，學(xué)理，原理。 2.學(xué)說(shuō)，論說(shuō) (opp. ...
  • -proof:    后綴 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防塵的。 Fire-proof 防火的。 Radar-proof 反雷達(dá)的。 Slander-proof 聽(tīng)了壞話不會(huì)生氣的。 Sound-proof 隔音的。 Water-proof 防水的。
  • a proof:    防原子的
  • a-proof:    防原子的
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

例句與用法

    更多例句：  下一頁(yè)
  1. The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
    將證明論方法引入到xml中，建立了基于xml的證明論。
  2. Applying the methods of gray system synthesize evaluation and proof theories , got the outburst dangerous grade samples
    在此基礎(chǔ)上，提出了危險(xiǎn)信度的概念，用以衡量突出礦井危險(xiǎn)程度，編制了神經(jīng)網(wǎng)絡(luò)，并對(duì)其進(jìn)行訓(xùn)練。
  3. The author anticipate future of constitutionlism building in china and proof theory of constitution chang , recruitment and explanation . at the same time
    預(yù)測(cè)了我國(guó)憲政建設(shè)的趨勢(shì)，論述了現(xiàn)行憲法應(yīng)修改、補(bǔ)充的內(nèi)容及解釋原理。
  4. A clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented
    提出了利用關(guān)系代數(shù)運(yùn)算實(shí)現(xiàn)xml查詢子句求值的方法，并證明了該方法的正確性。
  5. Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization , the essay the nessity to apply lightning proof by modern proof theory , and introduces the integrated lighting proof technology
    摘要針對(duì)電氣化、信息化條件下鐵路貨運(yùn)計(jì)量安全檢測(cè)系統(tǒng)的特點(diǎn)，利用現(xiàn)代防雷理論分析對(duì)其進(jìn)行雷電防護(hù)的必要性，并對(duì)其綜合防雷技術(shù)進(jìn)行了相應(yīng)介紹。

百科釋義

    Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.
    詳細(xì)百科解釋

相關(guān)詞匯

        proof:    n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書(shū)面 ...
        theory:    n. 1.理論，學(xué)理，原理。 2.學(xué)說(shuō)，論說(shuō) (opp. ...
        -proof:    后綴 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防塵的。 Fire-proof 防火的。 Radar-proof 反雷達(dá)的。 Slander-proof 聽(tīng)了壞話不會(huì)生氣的。 Sound-proof 隔音的。 Water-proof 防水的。
        a proof:    防原子的
        a-proof:    防原子的
        in proof of:    作...的證據(jù)
        proof:    n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書(shū)面)證詞，證言。 2.檢驗(yàn)，考驗(yàn)；驗(yàn)算；檢定的品質(zhì)[強(qiáng)度等]。 3.試管。 4.【印刷】校樣，印樣。 5.(酒精的)標(biāo)準(zhǔn)強(qiáng)度。 6.(甲胄等的)耐力，堅(jiān)牢強(qiáng)度，不貫穿性。 7.【攝影】樣片；樣張。 8.[Scot.] 審問(wèn)。 9.【數(shù)學(xué)】證，證明，證法。 The proof of the pudding is in the eating. 布丁好壞一吃即知；空談不如實(shí)驗(yàn)。 Here is proof positive. 有確實(shí)證據(jù)。 a foul proof 錯(cuò)字很多的校樣。 a foundry proof (壓型前的)清樣。 an artist's [engraver's] proof 版面印樣。 stand a severe proof 經(jīng)受嚴(yán)格的考驗(yàn)。 afford proof of 提供證據(jù)。 armour of proof 戳不通的堅(jiān)牢的鎧甲。 below proof 不合格。 bring [put] to the proof 試，試驗(yàn)。 have proof of shot 能防彈，能避彈。 in proof of 作…的證據(jù)。 proof positive of his intention 他的企圖的確證。 read the proof 校對(duì)。 adj. 1.試驗(yàn)過(guò)的，有保證的；(酒)合標(biāo)準(zhǔn)的，規(guī)定的。 2.校樣的。 3.(子彈等)不入的，耐…的，防…的。 a proof coin 標(biāo)準(zhǔn)貨幣，制錢。 a proof sample 樣品。 proof against the severest weather 經(jīng)得起任何酷烈天氣的。 proof against the pricks of all temptations 不為任何誘惑所動(dòng)的。 vt. 使經(jīng)得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 無(wú)證據(jù)的。
        proof of will:    遺囑證明, 遺囑認(rèn)證
        and theory:    經(jīng)驗(yàn)與理論，119
        in theory:    從理論上說(shuō); 理論上，理論上講
        s theory:    弗洛倫斯學(xué)說(shuō); 戈?duì)柎膶W(xué)說(shuō); 赫伯理論; 嘉農(nóng)氏理論
        the theory of the:    事業(yè)理論
        theory:    n. 1.理論，學(xué)理，原理。 2.學(xué)說(shuō)，論說(shuō) (opp. hypothesis)。 3.推測(cè)，揣度。 4.〔口語(yǔ)〕見(jiàn)解，意見(jiàn)。 the theory of two points 兩點(diǎn)論。 Darwin's theory of evolution 達(dá)爾文的進(jìn)化論。 theory of equations 【數(shù)學(xué)】方程論。 theory of everything 【物理學(xué)】(把相對(duì)論、量子論和宇宙大爆炸理論都包括在內(nèi)的)萬(wàn)用理論。 theory of relativity 【物理學(xué)】相對(duì)論。 the atomic theory 原子說(shuō)。 Our scheme is good both in theory and in practice. 我們的方案在理論上和實(shí)施上都是好的。 combine [separate] theory with [from] practice 理論結(jié)合[脫離]實(shí)際。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意見(jiàn)是我們學(xué)院應(yīng)該通過(guò)重用年輕一些的人來(lái)注入新的血液。 theory of games 博弈論，對(duì)策論，權(quán)衡利弊得失的形勢(shì)分析。
        theory of:    經(jīng)驗(yàn)的理論，6
        will theory:    意思說(shuō)
        flame proof = flame-proof:    防火的
        proof sheet; proof:    紅樣
        a documentory proof:    用文件來(lái)證實(shí)日期
        abrasion proof:    耐磨的
        abrasion-proof:    防磨的; 耐磨的
        absolute proof:    絕對(duì)證明
        abundant proof:    充分的證據(jù)
        accident proof:    安全的
        acid proof:    耐防酸的; 耐酸,抗酸; 耐酸的; 酎酸的
        acid-proof:    adj. 耐酸的。

其他語(yǔ)言

        proof theory meaning：[Computer] < logic > The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence ...
        proof theory ?：?? ?? ?? ??
        proof theory перевод：теория доказательств

相鄰詞匯

  1. proof technique 什么意思
  2. proof test 什么意思
  3. proof test for accommodation ladder 什么意思
  4. proof test for shicargo handling gear 什么意思
  5. proof test value 什么意思
  6. proof timber 什么意思
  7. proof to cracking 什么意思
  8. proof to the contrary 什么意思
  9. proof total 什么意思
  10. proof tree 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.